compact connected Lie group

[数] 紧连通李群